Wolverine: Battling Bugs with Interpolants - (Competition Contribution)
نویسندگان
چکیده
Wolverine is a software verifier that checks safety properties of sequential ANSI-C and C++ programs, deploying Craig interpolation to derive program invariants. We describe the underlying approach and the architecture, and provide instructions for installation and usage.
منابع مشابه
Interpolation-Based Software Verification with Wolverine
Wolverine is a software verification tool using Craig interpolation to compute invariants of ANSI-C and C++ programs. The tool is an implementation of the lazy abstraction approach, generating a reachability tree by unwinding the transition relation of the input program and annotating its nodes with interpolants representing safe states. Wolverine features a built-in interpolating decision proc...
متن کاملUFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution)
Interpretation (Competition
متن کاملTracking neighbours promotes the coexistence of large carnivores
The study of competition and coexistence among similar interacting species has long been considered a cornerstone in evolutionary and community ecology. However, understanding coexistence remains a challenge. Using two similar and sympatric competing large carnivores, Eurasian lynx and wolverines, we tested the hypotheses that tracking among heterospecifics and reactive responses to potential r...
متن کاملWolverine behavior varies spatially with anthropogenic footprint: implications for conservation and inferences about declines
Understanding a species' behavioral response to rapid environmental change is an ongoing challenge in modern conservation. Anthropogenic landscape modification, or "human footprint," is well documented as a central cause of large mammal decline and range contractions where the proximal mechanisms of decline are often contentious. Direct mortality is an obvious cause; alternatively, human-modifi...
متن کاملWolverine Conservation and Management
This Special Section includes 8 peer-reviewed papers on the wolverine (Gulo gulo) in southern North America. These papers provide new information on current and historical distribution, habitat relations at multiple spatial scales, and interactions with humans. In aggregate, these papers substantially increase our knowledge of wolverine ecology and population dynamics in North America, in many ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012